Jim Woodcock (eds.): cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (34)
Più popolari
Lista
- Lista
- Tabella

1

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 1.86 MB

0 / 0

english, 2007

2

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 5.79 MB

0 / 0

english, 2003

3

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.68 MB

0 / 0

english, 2013

4

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 11.33 MB

0 / 0

english, 1999

5

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 4.29 MB

0 / 0

english, 2007

6

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 5.37 MB

0 / 0

english, 2007

7

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.30 MB

0 / 0

english, 2013

8

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

MOBI , 2.37 MB

0 / 0

english, 2013

9

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.32 MB

0 / 0

english, 2013

10

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 4.56 MB

0 / 0

english, 2010

11

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 6.60 MB

0 / 0

english, 2007

12

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 7.82 MB

0 / 0

english, 2007

13

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 3.55 MB

0 / 5.0

english, 2009

14

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 14.06 MB

0 / 0

english, 1999

15

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

FB2 , 3.60 MB

0 / 0

english, 2013

16

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

File:

RTF , 4.60 MB

0 / 0

17

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 4.63 MB

0 / 0

english, 2010

18

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 7.15 MB

0 / 0

english, 2009

19

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

LIT , 1.96 MB

0 / 0

english, 2013

20

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 5.03 MB

0 / 0

english, 2010

21

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

AZW3 , 2.47 MB

0 / 0

english, 2013

22

Software Engineering for Robotics

Software Engineering for Robotics

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, (eds)

Anno:

2021

Lingua:

english

File:

PDF, 46.46 MB

0 / 5.0

english, 2021

23

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 9.09 MB

0 / 0

english, 2014

24

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 3.01 MB

0 / 0

english, 2013

25

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.34 MB

0 / 0

english, 2013

26

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 10.75 MB

0 / 0

english, 1999

27

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 7.65 MB

0 / 0

english, 2008

28

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 3.00 MB

0 / 0

english, 2006

29

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 4.73 MB

0 / 0

english, 2013

30

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 3.09 MB

0 / 0

english, 2008

31

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 16.87 MB

0 / 0

english, 1999

32

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 2.19 MB

0 / 0

english, 2013

33

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 3.67 MB

0 / 0

english, 2008

34

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 6.33 MB

0 / 0

english, 2007